nLab on the manifold structure of singular loops

Context

Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

  • (shape modality \dashv flat modality \dashv sharp modality)

    (ʃ)(ʃ \dashv \flat \dashv \sharp )

  • dR-shape modality\dashv dR-flat modality

    ʃ dR dRʃ_{dR} \dashv \flat_{dR}

  • tangent cohesion

    • differential cohomology diagram
    • differential cohesion

      • (reduction modality \dashv infinitesimal shape modality \dashv infinitesimal flat modality)

        (&)(\Re \dashv \Im \dashv \&)

      • graded differential cohesion

        • fermionic modality\dashv bosonic modality \dashv rheonomy modality

          (Rh)(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)

        • id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous *

          \array{ && id &\dashv& id \ && \vee && \vee \ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \ && \bot && \bot \ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& Rh & \stackrel{rheonomic}{} \ && \vee && \vee \ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \ && \bot && \bot \ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \ && \vee && \vee \ &\stackrel{cohesive}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \ && \bot && \bot \ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \ && \vee && \vee \ && \emptyset &\dashv& \ast }

          </semantics></math></div>

          Models

          Lie theory, ∞-Lie theory

          differential equations, variational calculus

          Chern-Weil theory, ∞-Chern-Weil theory

          Cartan geometry (super, higher)

          Mapping space

          Contents

          Loops with Singularities

          Andrew Stacey

          1. The Original Question

          On MathOverflow there was a question “I was wondering if the set of singular loops is somewhere a submanifold of loop space?”. Ryan Budney? and Torsten Ekedahl gave two answers that showed that the answer was “No”. In the chronology, Torsten’s answer came first and gave an example to show why the space described in the first version of the question could not work. The question was modified to take account of that, whereupon Ryan stepped in to show why the modified space could not be a smooth manifold. Whilst Ryan and Torsten’s answers do give the complete answer, the question intrigued me since there are spaces related to the one in the question that are smooth manifolds. This page is the result of thinking about that.

          At time of writing, the question reads as follows (formatting and links added).

          The set of all smooth maps S 1M nS^{1}\to M^{n} (MM is a smooth manifold) is a generalized manifold (see smooth loop space).

          I was wondering if the set of singular loops (maps with self-crossings or zeros of derivative) is a (Fréchet, Frölicher, diffeological) submanifold of the loop space?

          EDIT: it is clear that answer is no (see Torstens answer). So, I rewrite the question: is it true that set of singular loops is a collection of submanifolds of different codimension (set of loops with one self-intersection has codimension dimM2\dim M-2, loops with zero of derivative has codimension dimM3\dim M -3 and so on. Set of loops with infinite number of singularities should have infinite codimension\dots . Let’s forget about them.)

          So, the question is about local situation: for example, let’s consider a loop with one self-intersection (and without other singlarities). Is it true that set of near loops with one self-intersection is a submanifold in sense of (Fréchet, Frölicher, diffeological)?

          EDIT 2. I reformulate the question. (S 1 3)\map (S^{1} \to \mathbb{R} ^{3}) is a functional space, so we can apply a technique of singularity theory. Generic map ff with one self-intersection has one-parameter versal deformation V:[0,1]×S 1 3V\colon [0,1]\times S^{1}\to \mathbb{R} ^{3} – and any deformations are induced from VV. Does it imply that DD (set of singular loops) near the ff is a submanifold of codimension 1 in sense of Fréchet or Frölicher?

          I’m going to take a different approach to this question. I’m going to start with a space that I know is a submanifold of LML M and modify it little-by-little until I get to what (I think) you describe. As I do so, hopefully it will be clear where we lose the manifold structure (and why).

          2. Finding a Manifold

          The space that is a submanifold is the space of loops with a particular coincidence. Let us think of the circle as the unit circle in the complex plane (for definiteness). Then of all the smooth maps S 1MS^{1} \to M we can consider the subset which are coincident at 11 and 1-1. Identifying 11 and 1-1 gives us one form of the figure eight and so we can think of this subspace as C (8,M)C^{\infty } (8,M). Indeed, if we work in one of the categories of generalised smooth spacemooth space), then there is a “smooth space” 88 and the subspace we are interested in truly is C (8,M)C^{\infty } (8,M).

          This space is a manifold, in whatever sense you wish. The model space is C (8, n)C^{\infty } (8,\mathbb{R} ^{n}); its tangent space at a map ff is the space of sections of f *TMf^{*} T M which agree at 11 and 1-1. It is also a submanifold of LML M, and actually has a tubular neighbourhood. So it’s as nice as you can get!

          The most obvious difference between this and your space is that we have not just a coincidence, but we have fixed where it must occur. So our first generalisation is to allow that coincidence to move. But we want to proceed cautiously, so we start by considering triples (f,p,q)(f,p,q) where f:S 1Mf \colon S^{1} \to M is a smooth map and p,qS 1p,q \in S^{1} are two points. This is LM×S 1×S 1L M \times S^{1} \times S^{1}. Next, we consider the subset of these triples that satisfy f(p)=f(q)f(p) = f(q) and pqp \ne q.

          I claim that this is a manifold. Let us start by considering those triples (f,p,q)(f,p,q) with p>12\Re p \gt \frac{1}{2} and q<12\Re q \lt - \frac{1}{2} (and f(p)=f(q)f(p) = f(q)). Let us label this space as WW. Let us choose a smooth family of diffeomorphisms of the circle, say τ a,b\tau _{a,b}, parametrised by a,bS 1a, b \in S^{1} with a>12\Re a \gt \frac{1}{2} and b<12\Re b \lt -\frac{1}{2} with the property that τ a,b(a)=1\tau _{a,b}(a) = 1 and τ a,b(b)=1\tau _{a,b}(b) = -1. We define a map WC (8,M)×S 1×S 1W \to C^{\infty } (8,M) \times S^{1} \times S^{1} by (f,p,q)(fτ p,q 1,p,q)(f,p,q) \mapsto (f \circ \tau _{p,q}^{-1}, p, q). The claim is that this is a diffeomorphism onto its image which is an open subset of the target. The inverse is given by (f,p,q)(fτ p,q,p,q)(f,p,q) \mapsto (f \circ \tau _{p,q},p,q). The target is {(f,p,q):p>12,q<12}\{ (f,p,q) : \Re p \gt \frac{1}{2}, \Re q \lt -\frac{1}{2}\} .

          For a more general point, (f,p,q)(f,p,q), we choose a diffeomorphism, say σ\sigma , of the circle which maps pp to 11 and qq to 1-1. Then we define a diffeomorphism of LM×S 1×S 1L M \times S^{1} \times S^{1} by (g,r,s)(gσ 1,σ(r),σ(s))(g,r,s) \mapsto (g \circ \sigma ^{-1},\sigma (r),\sigma (s)). This takes (f,p,q)(f,p,q) into WW and we can pullback the chart from there.

          A very simple thing to do at this point is to forget the order of the pair (p,q)(p,q). This is a 2\mathbb{Z} _{2}–action and the action has all the required properties for the quotient to still be a manifold. Thus we have a manifold of things of the form (f,{p,q})(f,\{ p,q\} ) where f:S 1Mf \colon S^{1} \to M is a smooth map, {p,q}S 1\{ p,q\} \subseteq S^{1} is a two-element subset, and f(p)=f(q)f(p) = f(q) (or f {p,q}f \!\!\mid _{\{ p,q\} } is constant).

          3. Finding a Non-Manifold

          The final step is to try to project this down on to the first component. That is, to consider the map from our space to LML M given by mapping (f,{p,q})f(f,\{ p,q\} ) \mapsto f. What would be nice would be if this were some sort of submersion and we could deduce from it (maybe with a little work) that the image was a manifold.

          The first problem that we encounter is that the fibre does not have a constant model. For “most” loops in the image, the preimage consists of a single point. This is because for “most” loops with a coincidence, there is only one such coincidence. But a loop with multiple coincidences has several preimages, one for each coincidence (or, more precisely, one for each two-element subset of each coincidence set).

          A loop with multiple coincidences doesn’t seem a major problem as we can locally just pick one to label. But that’s not actually as simple as it might seem. If we have two coincidences and label one of them, then we can rip apart that coincidence whilst staying in our space because the other coincidence keeps us there. But if we destroy the labelled coincidence, what do we do with our label?

          This is Torsten’s objection, except with multiple double coincidences instead of a single triple one.

          To fix this, we try restricting to the subset where there is only one coincidence. This means that our fibres are singletons and we have a smooth bijection from the suitable set of (f,{p,q})(f,\{ p,q\} ) to the set of corresponding loops. Leaving aside the question as to whether or not this is a diffeomorphism, this would seem to give a positive answer to the question.

          It doesn’t.

          The reason is simple, but perhaps a little surprising. That is that the subset of those (f,{p,q})(f,\{ p,q\} ) where {p,q}\{ p,q\} is the only coincidence of ff is not an open subset of our manifold. Why this might be surprising is because if we go one level down then the corresponding family is open. That is, if we take the subset of those loops with no coincidences then this is an open subset of all loops (whence a submanifold).

          We can show that this subset is not open by taking a sequence of loops with a double coincidence (one of which is labelled) which converges to a loop with a single coincidence. If it were open, at some point in the sequence all terms would have to have a single coincidence.

          This is Ryan’s objection.

          We cannot fix this. The reason being that this subset contains an open subset of our manifold (again, by Ryan’s answer) so the only way it could be a submanifold would be if it were open.

          So the space in question is most emphatically not a submanifold. But there is a nearby manifold, which is the space of loops with a marked coincidence (and possibly other coincidences). For most loops, these two spaces are the same nearby, but for loops such as those that Torsten and Ryan consider, they aren’t.

          Last revised on September 17, 2011 at 07:52:14. See the history of this page for a list of all contributions to it.